منابع مشابه
On Combined Connectives
Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reason...
متن کاملHypersexuality: Univocal or Equivocal Nature?
Many theories have been generated to explain hypersexuality, which has been defined as “recurrent and intense sexual fantasies, sexual urges or sexual behaviors” (Kafka, 2010). Measures of the construct vary widely in the behaviors and fantasies they assess, but little research has examined the core nature of the construct or the relation among the various impulsivity scales purported to measur...
متن کاملOn Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a general nondeterministic Kripke-style semantics is provided. This general semantics is then used to provide a constructive (and very natural), sufficient and...
متن کاملTwo restrictions on possible connectives
If languages could lexicalize arbitrary truth tables as sentential connectives, we should be able to find a great variety of connectives in the world’s languages. However, very few connectives are typologically attested, as has long been known. For example, no known language lexicalizes if-and-only-if, not-and, or McCawley (1972)’s schmor, a connective that returns true exactly when two or more...
متن کاملGenerating Connectives
We present an implemented procedure to select an appropriate connective to link two propositions, which is part of a large text generation system. Each connective is defined as a set of constraints between features of flxe propositions it connects. Ore' focus has been to identify pragmatic features flint can be produced by a deep generator to provide a simple representation of connectives. Usin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2009
ISSN: 1425-3305
DOI: 10.12775/llp.2009.001